/*
 * Hardware.h
 *
 *  Created on: 27-mrt-2012
 *      Author: Bart
 */

#ifndef HARDWARE_H_
#define HARDWARE_H_

#include "xparameters.h"
#include "xio.h"
#include "xintc.h"
#include "xil_exception.h"

#define INTC_BASEADDR		XPAR_INTC_0_BASEADDR
#define	INTC_DEVICE_ID		XPAR_XPS_INTC_0_DEVICE_ID

#ifdef __cplusplus
extern "C"{



	/*
	 * Initializes the interrupt instance
	 */
	int initialize_InterruptController();

	int startInterrupt();



	XIntc* getInterruptController();


#endif
#ifdef __cplusplus
}

#endif

#endif /* HARDWARE_H_ */
